Institute of Mathematics - PDFSEARCH.IO - Document Search Engine

Institute of Mathematics
Results: 3022

#	Item
771	Formalization of Error-correcting Codes using SSReflect Reynald Affeldt1 and Jacques Garrigue1 1 National Institute of Advanced Industrial Science and Technology 2 Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2014-11-13 21:13:13 Discrete mathematics Mathematics Linear code Low-density parity-check code Decoding methods Hamming code Hamming Forward error correction Parity-check matrix Coding theory Error detection and correction Information theory
772	Royal Institute of Technology, KTH Department of High Performance Computing and Visualization B¨arbel Janssen, Numerical Linear Algebra Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2014-09-26 08:15:29 Abstract algebra Functional analysis Group theory Vector space Matrix Orthonormality Linear independence Algebra Mathematics Linear algebra
773	Atmospheric Downscaling using Genetic Programming Tanja Zerenner1, Victor Venema1, Petra Friederichs1, Clemens Simmer1 Meteorological Institute, University of Bonn, Germany 3. Temperature Downscaling Add to Reading List Source URL: www2.meteo.uni-bonn.de Language: English - Date: 2013-12-04 11:34:20 Statistics Applied mathematics Downscaling Weather prediction Econometrics Pareto efficiency Genetic programming Atmospheric model MATLAB Mathematical optimization Software Operations research
774 $National Academy of Sciences / Institute of Applied Physics and Computational Mathematics / China Academy of Engineering Physics / Committee on International Security and Arms Control / Academy of Sciences / Disarmament / United States National Academies / Arms control / Science and technology in the People\'s Republic of China$	English-Chinese, Chinese-English Nuclear Security Glossary ISBN: , pages, , () This free PDF was downloaded from: http://www.nap.edu/cataloghtml Add to Reading List Source URL: sites.nationalacademies.org Language: English - Date: 2015-02-02 21:26:42 National Academy of Sciences Institute of Applied Physics and Computational Mathematics China Academy of Engineering Physics Committee on International Security and Arms Control Academy of Sciences Disarmament United States National Academies Arms control Science and technology in the People\'s Republic of China
775	Peter LeFanu Lumsdaine Institute for Advanced Study Beck–Chevalley conditions for dependent type theory Dependent Type Theory is a powerful and congenial basis for logical systems, but the study of its models is plague Add to Reading List Source URL: web.science.mq.edu.au Language: English Nicolas Bourbaki Algebraic structures Pullback Model theory Coherence theory of truth Mathematical logic Functor Structure Mathematics Algebra Claude Chevalley
776	Maps of random walks on complex networks reveal community structure Martin Rosvall† and Carl T. Bergstrom‡ Department of Biology, University of Washington, Seattle, WA; and ‡Santa Fe Institute, 1399 H Add to Reading List Source URL: www.mapequation.org Language: English* - Date: 2014-11-14 09:53:11 Mathematics Statistics Algebraic graph theory Binary trees Modularity Huffman coding Random walk Community structure Networks Network theory Graph theory
777	Information Reconciliation for QKD with Rate-Compatible Non-Binary LDPC Codes Kenta KASAI, Ryutaroh MATSUMOTO, and Kohichi SAKANIWA Dept. of Communications and Integrated Systems Tokyo Institute of TechnologyTo Add to Reading List Source URL: www.comm.ce.titech.ac.jp Language: English - Date: 2013-03-26 05:46:42 Information Telecommunications engineering Discrete mathematics Data transmission Low-density parity-check code Distributed source coding Forward error correction Noisy-channel coding theorem Quantum key distribution Coding theory Error detection and correction Information theory
778	Nearly Linear-Time Model-Based Compressive Sensing Chinmay Hegde, Piotr Indyk, and Ludwig Schmidt Massachusetts Institute of Technology, Cambridge MA 02139, USA Abstract. Compressive sensing is a method for recording a Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2015-05-25 21:19:32 Analysis of algorithms Linear algebra Computational complexity theory Numerical linear algebra Sparse approximation Time complexity Compressed sensing Big O notation Tree decomposition Theoretical computer science Mathematics Applied mathematics
779	Master of Science in Mathematics for Finance and Actuarial Science General Stream Financial Computing Stream Add to Reading List Source URL: www.mido.dauphine.fr Language: English - Date: 2013-12-13 09:04:03 Actuarial science Science Knowledge Academia Actuary Institute and Faculty of Actuaries Insurance Paris Dauphine University University of Paris
780	Matthew G. Knepley Computation Institute University of Chicago 5735 S Ellis Ave Chicago, IL 60637, USA Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2015-02-17 15:25:47 Software Portable Extensible Toolkit for Scientific Computation Computational science FEniCS Project GPGPU J. Tinsley Oden Society for Industrial and Applied Mathematics Citcom Mathematical optimization Application software Science Numerical linear algebra

UPDATE